PyRank

Scientific Ai Python Packages

Python packages with the GitHub topic scientific-ai. Sorted by monthly downloads, with stars and forks.
stelioszach03
verifiable-labs-envs

Open-source SDK (Apache-2.0): RL environments, conformal calibration, a TRL-compatible reward function, the Lean 4 formal track, and the verifiable/vlabs CLI.

161 0 0
stelioszach03
vlabs-calibrate

Open-source SDK (Apache-2.0): RL environments, conformal calibration, a TRL-compatible reward function, the Lean 4 formal track, and the verifiable/vlabs CLI.

151 0 0
stelioszach03
verifiable-labs

Open-source SDK (Apache-2.0): RL environments, conformal calibration, a TRL-compatible reward function, the Lean 4 formal track, and the verifiable/vlabs CLI.

130 0 0
stelioszach03
verifiable-labs-code-humaneval-multiturn

Open-source SDK (Apache-2.0): RL environments, conformal calibration, a TRL-compatible reward function, the Lean 4 formal track, and the verifiable/vlabs CLI.

55 0 0
stelioszach03
verifiable-labs-code-humaneval

Open-source SDK (Apache-2.0): RL environments, conformal calibration, a TRL-compatible reward function, the Lean 4 formal track, and the verifiable/vlabs CLI.

48 0 0