Piyush Jha

1. RLSF: Fine-tuning LLMs via Symbolic Feedback
   2024/05/26 by Piyush Jha, Jha, Piyush, Prithwish Jana +6 · 6 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. Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
   2024/01/30 by Zhengyang Lu, Lu, Zhengyang, Stefan Siemer +9 · 3 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Artificial Intelligence in Games #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE)
3. Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
   2025/05/21 by Matthew DeLorenzo, DeLorenzo, Matthew, Kevin Tieu +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