◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Thibault Gauthier

16 papers hereh-index 12436 citations26 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author3
  • first author10
  • middle author2
  • last author1

Across the 16 of 16 papers where every author was matched, so the position is known.

fields
  • cs.AI10
  • cs.LO5
  • cs.NE1

identity via Semantic Scholar / OpenAlex

activity
20142025
most citedTacticToe: Learning to Prove with Tactics

44 citations · 111 across the 15 of their papers we have counts for

collaborators
Showing 2022 · cs.AIShow all

1 paper · 2 filters

cs.AI2022★ 2 cited

Learning Program Synthesis for Integer Sequences from Scratch

Thibault Gauthier, Josef Urban

We present a self-learning approach for synthesizing programs from integer sequences. Our method relies on a tree search guided by a learned policy. Our system is tested on the On-…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.