WeSearch
Hub / Tags / Code Generation
TAG · #CODE-GENERATION

Code Generation coverage.

Every story in the WeSearch catalog tagged with #code-generation, chronological, with view counts. Subscribe to the per-tag RSS feed to follow this topic in your reader of choice.

2 stories tagged with #code-generation, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.

⌘ RSS feed for this tag →   or   search "Code Generation"

RELATED TAGS
#swe-bench1#ai-benchmarking1#model-evaluation1#contamination1
ARXIV.ORG

FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean

Formalising informal mathematical reasoning into formally verifiable code is a significant challenge for large language models. In scientific fields such as physics, domain-specifi…

2 views ·
#autoformalisation#artificial intelligence#formal methods
OPENAI

SWE-bench Verified no longer measures frontier coding capabilities

SWE-bench Verified is increasingly contaminated and mismeasures frontier coding progress. Our analysis shows flawed tests and training leakage. We recommend SWE-bench Pro.…

7 views ·
#swe-bench#ai benchmarking

Browse more

All tags Search "Code Generation" RSS feed World US Technology Markets