vix.ing · top · new · best · stats · spec

Knappe, Tim

  1. Semantic Self-Consistency: Enhancing Language Model Reasoning via Semantic Weighting
    2024/10/10 by Tim Knappe, Knappe, Tim, Ryan Li +9 · 7 citations
    Computer Science · #Natural Language Processing Techniques #Topic Modeling
  2. Automating Mathematical Proof Generation Using Large Language Model Agents and Knowledge Graphs
    2025/02/04 by Li, Vincent, Knappe, Tim, Fu, Yule +2 · 1 citation
    #Computation and Language (cs.CL) #FOS: Computer and information sciences