Prithwish Jana

prithwish-jana

4

·

https://jprithwish.github.io/

AI & ML interests

None yet

Recent Activity

upvoted a paper about 11 hours ago

AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness

authored a paper about 11 hours ago

TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback

authored a paper about 11 hours ago

AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness

View all activity

Organizations

None yet

Papers 6

arxiv:2610.05367

arxiv:2609.38360

arxiv:2609.38349

arxiv:2609.38332

models 0

None public yet

datasets 0

None public yet