34 citations · 38 across the 6 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LG2026
The Geometry of Logic: Stratification Induces Semantic Structure and Robust Reasoning
Cristina V. Lopes, Yuangang Li, Justin Tian Jin Chen +3
Transformer-based language models perform well on symbolic tasks, yet it remains unclear whether they learn generalizable rules or rely on statistical shortcuts. Mechanistic studie…
cs.SE2026
Spec-Harness: Assessing and Guiding LLM-Synthesized Formal Specifications Beyond Verifiability
Md Rakib Hossain Misu, Iris Ma, Cristina V. Lopes +2
Formal specifications play a central role in ensuring software reliability, yet automatically synthesizing high-quality specifications remains difficult and often requires domain e…