Nayoung Lee issues

Repositories
Issues
Comments

Results 3 issues of


                                            Nayoung Lee

Urgent Help Needed: Could somebody please help to find locating Text-to-Image Generation components in this repository???🥺

I'm urgently seeking your help to find the part of your GitHub repo that converts English mathematical text into images. I've been looking through the code but haven't been able...

PLEAE HELP!!! OSError: Unable to open file: base_htrans.gin. Searched config paths: ['', '/transformer/configs', '/root/alphageometry'].

``` OSError: Unable to open file: base_htrans.gin. Searched config paths: ['', '/transformer/configs', '/root/alphageometry']. ``` how do I fix this? I cannot find 'base_htrans.gin' file anywhere

How do I use GeoCoq in GeoGebra?

I have successfully conducted geometric proofs within GeoCoq via the Coq proof assistant. Now, I am interested in creating visual representations of these proofs using GeoGebra (https://www.geogebra.org/m/m8WafXsQ). Could you advise...