<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>AI for Science | Juan Cruz-Benito</title><link>https://juancb.es/tag/ai-for-science/</link><atom:link href="https://juancb.es/tag/ai-for-science/index.xml" rel="self" type="application/rss+xml"/><description>AI for Science</description><generator>HugoBlox Kit (https://hugoblox.com)</generator><language>en-us</language><copyright>©</copyright><lastBuildDate>Mon, 01 Jun 2026 00:00:00 +0000</lastBuildDate><image><url>https://juancb.es/media/sharing.jpg</url><title>AI for Science</title><link>https://juancb.es/tag/ai-for-science/</link></image><item><title>LLM-Guided Quantum Code Discovery</title><link>https://juancb.es/projects/qcode-discovery/</link><pubDate>Mon, 01 Jun 2026 00:00:00 +0000</pubDate><guid>https://juancb.es/projects/qcode-discovery/</guid><description>&lt;p&gt;An &amp;ldquo;AI for science&amp;rdquo; workflow that uses large language models to evolve Python programs generating quantum LDPC code designs: bivariate-bicycle (BB) and perturbed bivariate-bicycle (PBB) codes. Built on OpenEvolve with an ensemble of LLMs, and paired with an independent verification stack so every reported code is certified rather than just proposed.&lt;/p&gt;
&lt;p&gt;&lt;strong&gt;Results:&lt;/strong&gt;&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;&lt;strong&gt;465 distinct codes&lt;/strong&gt; (97 CSS, 368 non-CSS) at block length n ≤ 360, from ~200K candidates screened across five campaigns — about 140 hours and ~US$400 in LLM inference&lt;/li&gt;
&lt;li&gt;Notable finds include an indecomposable [[288,16,12]] code, higher-rate codes reaching k = 50 at d = 8, and non-CSS codes matching the gross-code benchmark at [[144,12,12]]&lt;/li&gt;
&lt;li&gt;Follow-up on &lt;strong&gt;weight-five codes&lt;/strong&gt;: a 1,142-entry catalogue with exact distance certificates, structural analysis, and random-search controls&lt;/li&gt;
&lt;/ul&gt;
&lt;p&gt;&lt;strong&gt;Verification pipeline:&lt;/strong&gt; GF(2) rank computation, MILP-based distance bounds, BLISS Tanner-graph deduplication, decomposability analysis, and local-Clifford equivalence checks — designed to catch the search&amp;rsquo;s own blind spots.&lt;/p&gt;
&lt;p&gt;Presented as an invited keynote at the AI4QC workshop, IEEE Quantum Week 2026. Code, catalogues, and paper sources are open under Apache 2.0.&lt;/p&gt;</description></item></channel></rss>