PyPI page
Home page
Author:
None
Summary:
Evaluating Program Semantics Reasoning with Type Inference in System F
Latest version:
1.0.0
Required dependencies:
anthropic
|
dacite
|
datasets
|
deprecated
|
dotenv
|
fire
|
funcy
|
funcy-chain
|
google-genai
|
hypothesis
|
markdown-to-json
|
matplotlib
|
numpy
|
ollama
|
openai
|
orjson
|
orjsonl
|
pokepalette
|
pyarrow
|
pydantic
|
pytest
|
python-dotenv
|
requests
|
returns
|
seaborn
|
tabulate
|
tenacity
|
tiktoken
|
tqdm
|
transformers
|
tree-sitter
|
tree-sitter-haskell
|
types-deprecated
|
types-requests
Downloads last day:
2
Downloads last week:
12
Downloads last month:
21