Thiago Teixeira
- EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
2025/02/18 by Anjiang Wei, Jiannan Cao, Wei, Anjiang +19 · 14 citations
Computer Science · #Natural Language Processing Techniques #Topic Modeling #Semantic Web and Ontologies
- Improving Parallel Program Performance with LLM Optimizers via Agent-System Interfaces
2024/10/21 by Anjiang Wei, Wei, Anjiang, Allen Nie +11 · 9 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Distributed #Embedded Systems Design Techniques #FOS: Computer and information sciences #Machine Learning (cs.LG) #Numerical Methods and Algorithms #Parallel #Parallel Computing and Optimization Techniques #and Cluster Computing (cs.DC)
- CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
2025/03/29 by Anjiang Wei, Wei, Anjiang, Tarun Suresh +15 · 7 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL)
- VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation
2025/04/22 by Anjiang Wei, Wei, Anjiang, Tan, Huanmi +12 · 8 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Embedded Systems Design Techniques #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Software Engineering (cs.SE)
- Can NDN Perform Better than OLSR in Wireless Ad Hoc Networks?
2016/09/20 by Thiago Teixeira, Cong Wang, Teixeira, Thiago +3 · 1 citation
Computer Science · #Caching and Content Delivery #Cooperative Communication and Network Coding #FOS: Computer and information sciences #Mobile Ad Hoc Networks #Networking and Internet Architecture (cs.NI)