Jana, Prithwish

1. RLSF: Fine-tuning LLMs via Symbolic Feedback
   2024/05/26 by Piyush Jha, Prithwish Jana, Jha, Piyush +6 · 8 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Reinforcement Learning in Robotics
2. Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
   2025/05/21 by Matthew DeLorenzo, Kevin Tieu, DeLorenzo, Matthew +11 · 4 citations
   Computer Science · #FOS: Computer and information sciences #Logic, programming, and type systems #Natural Language Processing Techniques #Programming Languages (cs.PL) #Semantic Web and Ontologies
3. ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
   2025/10/17 by Prithwish Jana, Kaan Kale, Jana, Prithwish +9 · 2 citations
   Computer Science · Materials Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning in Materials Science #Mathematics, Computing, and Information Processing