Daniel Mendoza

Identifiers

• name variant Daniel Mendoza 0.60 · backfill

Papers (4)

1. VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation cs.AR · 2025 · author #4
2. MGit: A Model Versioning and Management System cs.LG · 2023 · author #2
3. nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models cs.LO · 2023 · author #3
4. Dynamic Network Adaptation at Inference cs.LG · 2022 · author #1

Mentions

• 2504.15659 #4 · arxiv_oai · confidence 0.70 Daniel Mendoza
• 2307.07507 #2 · arxiv_oai · confidence 0.70 Daniel Mendoza
• 2303.04864 #3 · arxiv_oai · confidence 0.70 Daniel Mendoza
• 2204.08400 #1 · arxiv_oai · confidence 0.70 Daniel Mendoza

Frequent Coauthors

• Caroline Trippel 3 shared papers
• Alex Aiken 1 shared papers
• Amar Phanishaye 1 shared papers
• Anjiang Wei 1 shared papers
• Christopher Hahn 1 shared papers
• Deepak Narayanan 1 shared papers
• Frederik Schmitt 1 shared papers
• Huanmi Tan 1 shared papers
• Ke Wang 1 shared papers
• Matthias Cosler 1 shared papers
• Rafael da Silva 1 shared papers
• Tarun Suresh 1 shared papers
• Thiago S. F. X. Teixeira 1 shared papers
• Wei Hao 1 shared papers