repoGitHubTrust 82 · PrimaryPublished 9d agoLive · 9d ago
microsoft/interwhen
A framework for verifiable reasoning with language models.
Lineage graph
Paper → model → repo connections mined from source citations (Tier-1 exact match).
Why these links exist
Every edge carries a method, confidence, and the source snippet that justified it — so bad links are debuggable.
- PossiblePossibly related (embedding) · 63%Theoria: Rewrite-Acceptability Verification over Informal Reasoning States →
- PossiblePossibly related (embedding) · 59%CheckRLM: Effective Knowledge-Thought Coherence Checking in Retrieval-Augmented Reasoning →
- PossiblePossibly related (embedding) · 59%Travel-Oriented Reasoning Large Language Model via Domain-Specific Knowledge Graphs →
- PossiblePossibly related (embedding) · 58%Grounding LLM Reasoning under Incomplete Graph Evidence →
- PossiblePossibly related (embedding) · 58%Harnessing Code Agents for Automatic Software Verification →
- PossiblePossibly related (embedding) · 63%Ontology Reasoning AI: OWL Logic Meets Large Language Models - AI CERTs →
Implements
paperTheoria: Rewrite-Acceptability Verification over Informal Reasoning StatespaperCheckRLM: Effective Knowledge-Thought Coherence Checking in Retrieval-Augmented ReasoningpaperTravel-Oriented Reasoning Large Language Model via Domain-Specific Knowledge GraphspaperGrounding LLM Reasoning under Incomplete Graph EvidencepaperHarnessing Code Agents for Automatic Software Verification
Covers (incoming)
Related across the graph
paperCheckRLM: Effective Knowledge-Thought Coherence Checking in Retrieval-Augmented ReasoningpaperGrounding LLM Reasoning under Incomplete Graph EvidencepaperHarnessing Code Agents for Automatic Software VerificationpaperTravel-Oriented Reasoning Large Language Model via Domain-Specific Knowledge GraphspaperTheoria: Rewrite-Acceptability Verification over Informal Reasoning StatesnewsOntology Reasoning AI: OWL Logic Meets Large Language Models - AI CERTs