Partha Ghosh
                                            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...