Timo Pierre Schrader
4 papers · 2023–2026 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(14)
Top co-authors
Research topics
Keywords
probabilistic modeling
(1)
domain adaptation
(1)
text classification
(1)
probabilistic inference
(1)
uncertainty quantification
(1)
natural language inference
(1)
question answering
(1)
semantic parsing
(1)
code generation
(1)
natural language understanding
(1)
probabilistic reasoning
(1)
answer set programming
(1)
logic puzzle
(1)
scientific document
(1)
materials science
(1)
transformer encoder
(1)
bayesian reasoning
(1)
argumentative zoning
(1)
solver-guided training
(1)
Papers
A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving
AAAI 2026
QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning Scenarios
EMNLP 2024
MuLMS: A Multi-Layer Annotated Text Corpus for Information Extraction in the Materials Science Domain
AACL 2023
MuLMS-AZ: An Argumentative Zoning Dataset for the Materials Science Domain
ACL 2023