Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Yash Mathur
Researcher
PaperReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program SynthesisAuthorship / preprint / 2026Carolyn RoseCo-authorship / ResearcherAtharva NaikCo-authorship / ResearcherPrakamCo-authorship / ResearcherDavid MortensenCo-authorship / ResearcherTopicComputation and LanguageWorks on / 14115 worksTopicArtificial IntelligenceWorks on / 22915 works