Martin Rinard
- Emergent Representations of Program Semantics in Language Models Trained on Programs
2023/05/18 by Charles Jin, Martin Rinard · 2 voices · 5 citations
#cs.LG #cs.AI #cs.CL #cs.PL
- Cimple: Instruction and Memory Level Parallelism
2018/07/04 by Vladimir Kiriansky, Haoran Xu, Kiriansky, Vladimir +5 · 1 voice · 1 citation
#cs.PL
- Exploiting Verified Neural Networks via Floating Point Numerical Error
2020/03/06 by Kai Jia, Martin Rinard, Jia, Kai +1 · 1 voice · 3 citations
Computer Science · Mathematics · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #cs.CR #cs.LG #stat.ML
- On Generalized Records and Spatial Conjunction in Role Logic
2004/08/05 by Viktor Kuncak, Martin Rinard, Kuncak, Viktor +1 · 1 citation
Computer Science · #D.2.4 #D.3.1 #D.3.3 #F.3.1 #F.3.2 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #cs.LO #cs.PL
- Evaluating the Generalization Capabilities of Large Language Models on Code Reasoning
2025/04/07 by Rem Yang, Yang, Rem, Nikos Vasilakis +4 · 3 citations
Computer Science · #Topic Modeling #Natural Language Processing Techniques #Software Engineering Research
- Program Analysis with Prophecy and History Variables in the Nexis Compiler
2026/07/25 by Martin Rinard
#cs.PL