Translation support#5

Open

JulesViennotFranca wants to merge 51 commits intoLLM4Rocq:mainfrom

JulesViennotFranca:main

Commits on Dec 18, 2024

Commits on Jan 15, 2025

Commits on Jan 28, 2025

New agent config
JulesViennotFranca
committed
Support for human agent and anthropic agents
JulesViennotFranca
committed
Adding human interactions
JulesViennotFranca
committed
Using get state and run tac for translation
JulesViennotFranca
committed
Improving prompt: hint for complex numbers
JulesViennotFranca
committed
Loc of the result file
JulesViennotFranca
committed
More agent configs
JulesViennotFranca
committed
Benchmark added
JulesViennotFranca
committed
new prompts

mlelarge
authored and
JulesViennotFranca
committed
new prompts

mlelarge
authored and
JulesViennotFranca
committed
anthropic

mlelarge
authored and
JulesViennotFranca
committed
added log_dir

mlelarge
authored and
JulesViennotFranca
committed
context + replay bench

mlelarge
authored and
JulesViennotFranca
committed
context + replay bench

mlelarge
authored and
JulesViennotFranca
committed
delete log file in init + remove env with too many holes in bs

mlelarge
authored and
JulesViennotFranca
committed
remove pb ths

mlelarge
authored and
JulesViennotFranca
committed
bug search

mlelarge
authored and
JulesViennotFranca
committed
temp cut search too many holes

mlelarge
authored and
JulesViennotFranca
committed
ghost weave

mlelarge
authored and
JulesViennotFranca
committed
ascii

mlelarge
authored and
JulesViennotFranca
committed
Add anthropic and mistral deps

gbdrt
authored and
JulesViennotFranca
committed
timeout + utf-8

mlelarge
authored and
JulesViennotFranca
committed
Remove useless last agent query in naive search
JulesViennotFranca
committed
Adding configs
JulesViennotFranca
committed
Fixing parenthesis issue
JulesViennotFranca
committed
Removing my_config
JulesViennotFranca
committed
Improve template useless steps bound
JulesViennotFranca
committed
Updating to upstream
JulesViennotFranca
committed
Better pattern matching
JulesViennotFranca
committed
Improving prompt
JulesViennotFranca
committed
Simplifying writing the solution in a file
JulesViennotFranca
committed

Commits on Jan 29, 2025

Commits on Jan 30, 2025

Better handeling of recurrent errors
JulesViennotFranca
committed