Thomas Reps
Scholar

Thomas Reps

Google Scholar ID: pwhyTq0AAAAJ
J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsin
Programming LanguagesProgram AnalysisComputer SecurityProgram VerificationProgram Synthesis
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
5,075
 
H-index
37
 
i10-index
111
 
Publications
20
 
Co-authors
121
list available
Contact
No contact links provided.
Publications
7 items
On The Finetuning of MLIPs Through the Lens of Iterated Maps With BPTT
2025
Cited
0
MHA-RAG: Improving Efficiency, Accuracy, and Consistency by Encoding Exemplars as Soft Prompts
2025
Cited
0
ADAPT: Lightweight, Long-Range Machine Learning Force Fields Without Graphs
2025
Cited
0
Efficient Cost Bounds with Linear Maps
2025
Cited
0
Software Model Checking via Summary-Guided Search (Extended Version)
2025
Cited
0
SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
2025
Cited
0
Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
2025
Cited
0
Resume (English only)
Co-authors
121 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Somesh Jha
Somesh Jha
Lubar Chair of Computer Science, University of Wisconsin
Co-author 4
Co-author 4
Akash Lal
Akash Lal
Microsoft Research, India
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8