VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation Paper • 2504.15659 • Published Apr 22
Improving Assembly Code Performance with Large Language Models via Reinforcement Learning Paper • 2505.11480 • Published May 16 • 8
SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas Paper • 2505.14615 • Published May 20 • 1
Nomic Embed Multimodal Collection Multimodal models allowing you to search over interleaved text, PDFs, charts, and images! • 16 items • Updated 23 days ago • 23