search

IBM / graph2tac

Graph-based neural tactic prediction models for Coq.
Apache License 2.0
8 stars 4 forks source link

Use log prob #150

Closed jasonrute closed 1 year ago

jasonrute commented 1 year ago

Switch to using returning log probability instead of probability.

I manually converted the tests to log to make sure the numbers are still correct.

jasonrute commented 1 year ago

I would normally wait for a review, but I'm just going to merge this so that we have main how we would like it for benchmarking. I think this is well tested.