20 citations · 20 across the 4 of their papers we have counts for
3 papers · 1 filter
Forward versus Backward: Comparing Reasoning Objectives in Direct Preference Optimization
Murtaza Nikzad, Raghuram Ramanujan
Large language models exhibit impressive reasoning capabilities yet frequently generate plausible but incorrect solutions, a phenomenon commonly termed hallucination. This paper in…
Sparse Methods for Vector Embeddings of TPC Data
Tyler Wheeler, Michelle P. Kuchera, Raghuram Ramanujan +7
Time Projection Chambers (TPCs) are versatile detectors that reconstruct charged-particle tracks in an ionizing medium, enabling sensitive measurements across a wide range of nucle…
G2SAT: Learning to Generate SAT Formulas
Jiaxuan You, Haoze Wu, Clark Barrett +2
The Boolean Satisfiability (SAT) problem is the canonical NP-complete problem and is fundamental to computer science, with a wide array of applications in planning, verification, a…