Search Results - Knappe, Tim

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Cover Image

    Scaling Natural-Language Graph-Based Test Time Compute for Automated Theorem Proving by Li, Vincent, Knappe, Tim, Fu, Yule, Han, Kevin, Zhu, Kevin

    Published 2025
    Get full text
    Preprint

    Save to List
    Saved in:
  2. 2
    Cover Image

    Semantic Self-Consistency: Enhancing Language Model Reasoning via Semantic Weighting by Knappe, Tim, Li, Ryan, Chauhan, Ayush, Chhua, Kaylee, Zhu, Kevin, O'Brien, Sean

    Published 2024
    Get full text
    Preprint

    Save to List
    Saved in:
  3. 3
    Cover Image

    TDFlow: Agentic Workflows for Test Driven Development by Han, Kevin, Maddikayala, Siddharth, Knappe, Tim, Patel, Om, Liao, Austen, Farimani, Amir Barati

    Published 2025
    Get full text
    Preprint

    Save to List
    Saved in:

Search Tools: