Joao E. Batista

Identifiers

• name variant Joao E. Batista 0.60 · backfill

Papers (1)

1. Tadashi: Enabling AI-Based Automated Code Generation With Guaranteed Correctness cs.LG · 2024 · author #4

Mentions

• 2410.03210 #4 · arxiv_oai · confidence 0.70 Joao E. Batista

Frequent Coauthors

• Aleksandr Drozd 1 shared papers
• Emil Vatai 1 shared papers
• Ivan R. Ivanov 1 shared papers
• Mohamed Wahib 1 shared papers
• Yinghao Ren 1 shared papers