https://matthewmcilree.com/publication/2022-03-14-PhD/ 2024-03-27T00:00:00+00:00 https://matthewmcilree.com/publication/2024-03-27-STSM/ 2024-03-27T00:00:00+00:00 https://matthewmcilree.com/publication/2024-03-27-STSM/ 2024-03-27T00:00:00+00:00 https://matthewmcilree.com/publication/2021-07-02-explanations-pen-and-paper-puzzles/ 2021-07-02T00:00:00+00:00 https://matthewmcilree.com/publication/2023-09-22-proof-logging-smart-extensional/ 2023-09-22T00:00:00+00:00 https://matthewmcilree.com/publication/2023-09-22-proof-logging-circuit/ 2024-05-25T00:00:00+00:00 https://matthewmcilree.com/publication/2024-08-29-reasoning-dynamic-programming/ 2024-08-29T00:00:00+00:00 https://matthewmcilree.com/publication/2025-04-11-certifying-bounds-multiplication/ 2025-04-11T00:00:00+00:00 https://matthewmcilree.com/talks/2023-04-04-bctcs2023/ 2022-04-04T00:00:00+00:00 https://matthewmcilree.com/talks/2023-04-01-simons-talk/ 2023-04-01T00:00:00+00:00 https://matthewmcilree.com/talks/2024-11-24-whoops24-talk/ 2024-11-24T00:00:00+00:00 https://matthewmcilree.com/talks/2025-05-07-optima-talk/ 2025-05-07T00:00:00+00:00 https://matthewmcilree.com/talks/2025-05-07-miao-talk/ 2025-05-26T00:00:00+00:00 https://matthewmcilree.com/talks/2023-04-01-dagstuhl24-talk/ 2025-06-02T00:00:00+00:00 https://matthewmcilree.com/ https://matthewmcilree.com/Archive/ https://matthewmcilree.com/Music/ https://matthewmcilree.com/Research/ https://matthewmcilree.com/sitemap/ https://matthewmcilree.com/Research/Talk_Map/ https://matthewmcilree.com/terms/ https://matthewmcilree.com/Thesis/ https://matthewmcilree.com/files/2021-07-02-explanations-pen-and-paper-puzzles.pdf 2026-03-30T14:05:30+00:00 https://matthewmcilree.com/files/2023-09-22-proof-logging-circuit.pdf 2026-03-30T14:05:30+00:00 https://matthewmcilree.com/files/2023-09-22-proof-logging-smart-extensional.pdf 2026-03-30T14:05:30+00:00 https://matthewmcilree.com/files/2024-08-29-reasoning-dynamic-programming.pdf 2026-03-30T14:05:30+00:00 https://matthewmcilree.com/files/2025-04-11-certifying-bounds-multiplication.pdf 2026-03-30T14:05:30+00:00 https://matthewmcilree.com/files/slides/mcilree_aaai2025.html 2026-03-30T14:05:30+00:00 https://matthewmcilree.com/files/thesisometer.html 2026-03-30T14:06:28+00:00 https://matthewmcilree.com/talkmap/map.html 2026-03-30T14:05:30+00:00