#llm-synthesis News & Analysis

2 articles tagged with #llm-synthesis. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

2 articles

AIBullisharXiv – CS AI · May 117/10

🧠

Weblica: Scalable and Reproducible Training Environments for Visual Web Agents

Researchers introduce Weblica, a framework for creating reproducible and scalable web environments to train visual web agents at scale. The system uses HTTP-level caching and LLM-based synthesis to generate thousands of diverse training environments, with the resulting Weblica-8B model achieving competitive performance against larger API-based models on web navigation benchmarks.

AINeutralarXiv – CS AI · May 276/10

🧠

ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification

ConVer is a compositional verification tool that leverages large language models and contract synthesis to formally verify C programs more efficiently than traditional bounded model checking. The tool achieves 82-96% success on simple benchmarks and 67% on complex programs, demonstrating significant progress in automated software verification despite limitations on recursive and loop-intensive code.