Gordon, Andrew D.
- What is it like to program with artificial intelligence?
2022/08/12 by Advait Sarkar, Andrew Gordon, Andrew D. Gordon +10 · 2 voices · 12 citations
Computer Science · #cs.HC #cs.AI #cs.PL
- A Lambda-Calculus Foundation for Universal Probabilistic Programming
2015/12/30 by Borgström, Johannes, Lago, Ugo Dal, Gordon, Andrew D. +1 · 3 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- OptTyper: Probabilistic Type Inference by Optimising Logical and Natural\n Constraints
2020/04/01 by Irene Vlassi Pandi, Pandi, Irene Vlassi, Earl T. Barr +6 · 2 citations
Computer Science · Decision Sciences · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Programming Languages (cs.PL) #Scientific Computing and Data Management #Software Engineering Research #Topic Modeling
- Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
2013/12/23 by Dupressoir, François, Gordon, Andrew D., Jürjens, Jan +1 · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- Solving Data-centric Tasks using Large Language Models
2024/02/18 by Shraddha Barke, Barke, Shraddha, Christian Poelitz +23 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Topic Modeling