Seeing AI Through the Curry–Howard Lens
The Curry–Howard correspondence—propositions as types, proofs as programs—offers a conceptual framework for understanding what's missing in current LLMs and what becomes possible …
The Curry–Howard correspondence—propositions as types, proofs as programs—offers a conceptual framework for understanding what's missing in current LLMs and what becomes possible …
You can now run the Qiskit Code Assistant locally easily. Download optimized models in GGUF format, install Ollama, and configure your VSCode or JupyterLab extension with a single …
We've upgraded the Qiskit Code Assistant! Last month, we introduced mistral-small-3.2-24b-qiskit, replacing granite-3.3-8b-qiskit, delivering better accuracy across key benchmarks …
Announcing the latest open-source LLM releases from the Qiskit Code Assistant team, featuring Qiskit 2.0 compatibility, enhanced text understanding, and new models including …
Family of open-source LLMs (8B–24B) for quantum code generation, plus the Qiskit HumanEval* benchmarks — 30K+ downloads on Hugging Face
Released a new version of Qiskit HumanEval compatible with Qiskit 1.4, featuring significant improvements to the benchmark including more robust and rigorous code execution tests …
Exciting update: Qiskit Code Assistant service now exposes compatible endpoints with OpenAI Completions API. This enables seamless usage via existing libraries like OpenAI and …
Released granite-8b-qiskit-rc-0.10, the latest revision of the LLMs that empower Qiskit Code Assistant. Trained on significantly expanded Qiskit synthetic dataset, this marks the …
Shipped granite-8b-qiskit-rc-0.10, the latest revision of LLMs empowering Qiskit Code Assistant. Trained on significantly expanded Qiskit synthetic dataset, marking the end of an …
Presenting the Qiskit HumanEval benchmark for LLMs at IEEE Quantum Week 2024 in the SYS-BNCH Benchmarking session. Available afterwards at the IBM Quantum booth to discuss AI and …