Partha Ghosh

Hi can any body help me with clearing the errors so the tests pass in every kind of situations? I am very new to python testing and lost here!

@matthiasplappert any help? But I assume you are too busy for this unfortunately!

@matthiasplappert sure lets get this thing done!

@matthiasplappert can we put this through?

Sorry that I am only commenting, tis late. But I think reducing batch size is the only way to avoid out of memory issue that doesn't require complete recoding.

hope that helped

I am also struggling to find the script to generate synthetic proofs. Would appreciate it if sb. points me to it.

Look here - https://github.com/felixludos/alphageometry/tree/nl_verbalization We are building alpha geometry community. We already have random problem and proof generation code there.

I seem to have cleared resources and do not have the file you are looking for anymore. The file contained the index of the vertices of FLAME that make up...

Agreed