Skip to main content

4 docs tagged with "Release 2026-03"

View all tags

AutoSDT

Scaling Data-Driven Discovery Tasks Toward Open Co-Scientists.

Harvest

Harvest is a tool designed to allow multiple types of stake holders in the digital agriculture space further their own unique goals from research to increases of the bottom line. Harvest allows for the creation of pipelines where users can preprocess their data, train models on HPC resources, infer on models to get insights on farm fields, and some visualizations to give an at a glance understand of what is happening on the field.

ICICLE AI Component MCP

ICICLE AI Component MCP lets developers use AI-powered IDEs to explore ICICLE components and then

ProofOfThought

LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON).