Search:
Search Results
Results: 1 - 6 of 6
Page:
1
dev-python/foe
A saturation based theorem prover with proof search directed by a learned embedding.
dev-python/meta-ml
MetaRL-based Estimator using Task-encodings for AutoML
dev-python/monotonic-nn
Monotonic Neural Networks
dev-python/pymantra
Reaction-Centred Metabolic Network Analysis
dev-python/sparsebm
An implementation of Stochastic Bloc model and Latent Block model efficient with sparse matrices
dev-python/appworld
AppWorld: A Controllable World of Apps and People for Benchmarking Interactive Coding Agents
Results: 1 - 6 of 6
Page:
1