Stuhlmüller, Andreas
- Iterated Decomposition: Improving Science Q&A by Supervising Reasoning Processes
2023/01/04 by Justin Reppert, Ben Rachbach, Reppert, Justin +12 · 1 voice · 4 citations
Computer Science · Medicine · #Artificial Intelligence (cs.AI) #Artificial Intelligence in Healthcare and Education #Computation and Language (cs.CL) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Topic Modeling #cs.AI #cs.CL #cs.HC
- Agent-Agnostic Human-in-the-Loop Reinforcement Learning
2017/01/15 by David Abel, John Salvatier, Abel, David +5 · 3 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Reinforcement Learning in Robotics #Robot Manipulation and Learning
- Evaluating Compositionality in Sentence Embeddings
2018/02/12 by Ishita Dasgupta, Demi Guo, Dasgupta, Ishita +7 · 2 citations
Computer Science · Social Sciences · #Computation and Language (cs.CL) #Computational and Text Analysis Methods #FOS: Computer and information sciences #Machine Learning (stat.ML) #Natural Language Processing Techniques #Topic Modeling
- A Dynamic Programming Algorithm for Inference in Recursive Probabilistic Programs
2012/06/15 by Andreas Stuhlmüller, Noah D. Goodman, Stuhlmüller, Andreas +1 · 2 citations
Arts and Humanities · Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Philosophy and History of Science #cs.AI #cs.DS
- Factored Verification: Detecting and Reducing Hallucination in Summaries of Academic Papers
2023/10/16 by Charlie George, Andreas Stuhlmüller, George, Charlie +1 · 3 citations
Computer Science · Biochemistry, Genetics and Molecular Biology · #Topic Modeling #Biomedical Text Mining and Ontologies #Advanced Text Analysis Techniques
- C3: Lightweight Incrementalized MCMC for Probabilistic Programs using Continuations and Callsite Caching
2015/09/07 by Daniel Ritchie, Ritchie, Daniel, Andreas Stuhlmüller +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #cs.AI #cs.PL
- RAFT: A Real-World Few-Shot Text Classification Benchmark
2021/09/28 by Neel Alex, Alex, Neel, Eli Lifland +21 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Text Readability and Simplification #Topic Modeling