vix.ing · top · new · best · stats · spec

Rabe, Markus N.

  1. Baldur: Whole-Proof Generation and Repair with Large Language Models
    2023/03/08 by Emily First, Markus N. Rabe, First, Emily +5 · 4 voices · 25 citations
    Computer Science · #cs.LG #cs.LO #cs.SE
  2. Memorizing Transformers
    2022/03/16 by Yuhuai Wu, Markus N. Rabe, Wu, Yuhuai +5 · 2 voices · 22 citations
    Computer Science · #Machine Learning and Data Classification #Natural Language Processing Techniques #Topic Modeling #cs.AI #cs.CL #cs.LG
  3. HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
    2019/04/05 by Kshitij Bansal, Sarah M. Loos, Bansal, Kshitij +7 · 3 voices · 5 citations
    Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Mathematics, Computing, and Information Processing
  4. Self-attention Does Not Need O(n2) Memory
    2021/12/10 by Markus N. Rabe, Charles Staats, Rabe, Markus N. +1 · 3 voices · 21 citations
    Computer Science · #Algorithms and Data Compression #Machine Learning and Algorithms #Parallel Computing and Optimization Techniques #cs.LG
  5. Autoformalization with Large Language Models
    2022/05/25 by Yuhuai Wu, Wu, Yuhuai, Albert Q. Jiang +11 · 46 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning (cs.LG) #Mathematics, Computing, and Information Processing #Software Engineering (cs.SE) #Software Engineering Research
  6. Temporal Logics for Hyperproperties
    2014/01/17 by Michael R. Clarkson, Bernd Finkbeiner, Clarkson, Michael R. +9 · 13 citations
    Computer Science · Social Sciences · #Access Control and Trust #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
  7. Teaching Temporal Logics to Neural Networks
    2020/03/06 by Christopher Hahn, Hahn, Christopher, Frederik Schmitt +7 · 8 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Natural Language Processing Techniques #Neural Networks and Applications #Topic Modeling
  8. Learning to Reason in Large Theories without Imitation
    2019/05/25 by Kshitij Bansal, Christian Szegedy, Bansal, Kshitij +7 · 4 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms #Software Engineering Research
  9. Neural Circuit Synthesis from Specification Patterns
    2021/07/25 by Frederik Schmitt, Christopher Hahn, Schmitt, Frederik +5 · 3 citations
    Computer Science · Engineering · Materials Science · #Advanced Memory and Neural Computing #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning in Materials Science #Neural Networks and Applications
  10. Understanding and Extending Incremental Determinization for 2QBF
    2019/05/31 by Rabe, Markus N., Tentrup, Leander, Rasmussen, Cameron +1 · 1 citation
    #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
  11. Mathematical Reasoning in Latent Space
    2019/09/26 by Dennis Lee, Christian Szegedy, Lee, Dennis +7 · 2 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Natural Language Processing Techniques #Parallel Computing and Optimization Techniques #Topic Modeling
  12. A Model Counter's Guide to Probabilistic Systems
    2019/03/22 by Marcell Vazquez-Chanlatte, Vazquez-Chanlatte, Marcell, Markus N. Rabe +3 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms