Ahmet Ege Tanriverdi

Identifiers

• name variant Ahmet Ege Tanriverdi 0.60 · backfill

Papers (1)

1. VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification cs.AI · 2026 · author #2

Mentions

• 2606.24124 #2 · arxiv_oai · confidence 0.70 Ahmet Ege Tanriverdi

Frequent Coauthors

• Kaan Kale 1 shared papers
• Ninghan Zhong 1 shared papers
• Sriram Vishwanath 1 shared papers