SymPy

Named by 3 kept items in this workspace.

2 items name it under frameworks and tools and 1 under organisations.

Search every workspace for SymPy. It matches the name as written, so it can find other things that share it.

The items that name it 3

Peppy: An AI-Assisted Workflow for Tight Convergence Analysis of Optimization Algorithms
paperas frameworks and tools2026-09-28
Used to provide minimal and accessible verification of the proofs constructed by Peppy
Controlling Reasoning Effort in LLMs
articleas frameworks and tools2026-07-18
Symbolic math checker used to verify correctness of math answers as a reward signal in RLVR.
Regulating the Machine Contributor: Governance and Policy Alignment in Open Source
paperas organisations

All technologies in this workspace.