16 citations · 25 across the 11 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
Prithwish Jana, Kaan Kale, Ahmet Ege Tanriverdi +3
Translating human-written mathematical theorems and proofs from natural language (NL) into formal languages (FLs) like Lean 4 has long been a significant challenge for AI. Most sta…
cs.PL2025★ 1 cited
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
Matthew DeLorenzo, Kevin Tieu, Prithwish Jana +4
Large language models (LLMs) have achieved impressive proficiency on logic and programming tasks, often rivaling expert-level performance. However, generating functionally correct…