Thomas Reps

15 papers Journal 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
Automated Abstract Transformer Synthesis for Reduced Product Domains.
ACM Trans. Softw. Eng. Methodol.
Pankaj Kumar Kalita, Thomas Reps, Subhajit Roy
2026 J jnl
Context-Free-Language Reachability for Almost-Commuting Transition Systems.
Proc. ACM Program. Lang.
Nikhil Pimpalkhare, Zachary Kincaid, Thomas Reps
2026 J jnl
Corrigendum: Unrealizability Logic.
Proc. ACM Program. Lang.
Jinwoo Kim, Loris D'Antoni, Thomas Reps
2025 J jnl
ADAPT: Lightweight, Long-Range Machine Learning Force Fields Without Graphs.
CoRR
Evan Dramko, Yihuang Xiong, Yizhi Zhu, Geoffroy Hautier, Thomas Reps, Christopher Jermaine, Anastasios Kyrillidis
2025 J jnl
Efficient Cost Bounds with Linear Maps.
CoRR
David M. Kahn, Jan Hoffmann, Thomas Reps, Jessie Grosen
2025 J jnl
MHA-RAG: Improving Efficiency, Accuracy, and Consistency by Encoding Exemplars as Soft Prompts.
CoRR
Abhinav Jain, Xinyu Yao, Thomas Reps, Christopher Jermaine
2025 J jnl
On The Finetuning of MLIPs Through the Lens of Iterated Maps With BPTT.
CoRR
Evan Dramko, Yizhi Zhu, Aleksandar Krivokapic, Geoffroy Hautier, Thomas Reps, Christopher Jermaine, Anastasios Kyrillidis
2025 J jnl
Polynomial Bounds of CFLOBDDs against BDDs.
ACM Trans. Program. Lang. Syst.
Xusheng Zhi, Thomas Reps
2025 J jnl
SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits.
CoRR
Nengkun Yu, Jens Palsberg, Thomas Reps
2025 J jnl
Scalable Equivalence Checking and Verification of Shallow Quantum Circuits.
CoRR
Nengkun Yu, Xuan Du Trinh, Thomas Reps
2025 J jnl
Scalable Equivalence Checking and Verification of Shallow Quantum Circuits.
Proc. ACM Program. Lang.
Nengkun Yu, Xuan Du Trinh, Thomas Reps
2025 J jnl
Semantics of Sets of Programs.
Proc. ACM Program. Lang.
Jinwoo Kim, Shaan Nagy, Thomas Reps, Loris D'Antoni
2025 J jnl
Software Model Checking via Summary-Guided Search (Extended Version).
CoRR
Ruijie Fang, Zachary Kincaid, Thomas Reps
2025 J jnl
Software Model Checking via Summary-Guided Search.
Proc. ACM Program. Lang.
Ruijie Fang, Zachary Kincaid, Thomas Reps
2025 J jnl
Verifying Solutions to Semantics-Guided Synthesis Problems.
Proc. ACM Program. Lang.
Charlie Murphy, Keith J. C. Johnson, Thomas Reps, Loris D'Antoni