Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Matthai Philipose
conf.researchr.org general profile
ICFP 2026 profile
Not registered as user
Name:
Matthai Philipose
Affiliation:
Microsoft Research
Contributions
2026
ICFP
Author of Proofs Promptly: An Experience Report on Proof-Oriented Programming with AI Agents within the ICFP Artifacts-track
Author of Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report) within the ICFP Papers-track
Share
x
Tue 20 Oct 12:49