activity
20232026
most citedTowards Formal Verification of LLM-Generated Code from Natural Language Prompts

2 citations · 3 across the 5 of their papers we have counts for

collaborators
Showing cs.CVShow all

1 paper · 1 filter

cs.CV2024

LATTE: Improving Latex Recognition for Tables and Formulae with Iterative Refinement

Nan Jiang, Shanchao Liang, Chengxiao Wang +2

Portable Document Format (PDF) files are dominantly used for storing and disseminating scientific research, legal documents, and tax information. LaTeX is a popular application for…