What's Changed
* Add confidence scores for output sequences by Peiyang-Song in https://github.com/lean-dojo/LeanInfer/pull/12
* Add LLM-generated Scores by yangky11 in https://github.com/lean-dojo/LeanInfer/pull/13
* LLM-aesop by yangky11 in https://github.com/lean-dojo/LeanInfer/pull/14
* chore: bump lean-toolchain to v4.2.0-rc4 by semorrison in https://github.com/lean-dojo/LeanInfer/pull/15
* Update Basic.lean by pitmonticone in https://github.com/lean-dojo/LeanInfer/pull/16
* CT2 backend, Aesop, etc. by yangky11 in https://github.com/lean-dojo/LeanInfer/pull/17
* Bug fixes: Make `check` effective & ban `aesop` by Peiyang-Song in https://github.com/lean-dojo/LeanInfer/pull/18
* minor change by yangky11 in https://github.com/lean-dojo/LeanInfer/pull/19
New Contributors
* Peiyang-Song made their first contribution in https://github.com/lean-dojo/LeanInfer/pull/12
* semorrison made their first contribution in https://github.com/lean-dojo/LeanInfer/pull/15
* pitmonticone made their first contribution in https://github.com/lean-dojo/LeanInfer/pull/16
**Full Changelog**: https://github.com/lean-dojo/LeanInfer/compare/v0.0.7...v0.0.8