PyPI page
Home page
Author:
None
License:
MIT License Copyright (c) 2025 Adam Yanxiao Zhao Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to...
Summary:
A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
Latest version:
0.2.0
Required dependencies:
python-sat
Downloads last day:
2
Downloads last week:
13
Downloads last month:
21