Timo Pierre Schrader
- QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning Scenarios
2024/10/14 by Timo Pierre Schrader, Lukas Lange, Schrader, Timo Pierre +5 · 3 citations
Computer Science · #Bayesian Modeling and Causal Inference #AI-based Problem Solving and Planning #Natural Language Processing Techniques
- A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving
2025/12/18 by Timo Pierre Schrader, Schrader, Timo Pierre, Lukas Lange +7 · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Multimodal Machine Learning Applications #Constraint Satisfaction and Optimization