Hugging Face's logo
Prithwish Jana's picture

Prithwish Jana

prithwish-jana
4
dipankarsarkar's profile picture
ยท
https://jprithwish.github.io/

AI & ML interests

None yet

Recent Activity

upvoted a paper 3 days ago
AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness
authored a paper 3 days ago
TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback
authored a paper 3 days ago
AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness
View all activity

Organizations

None yet