Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

How to get rules generated for Sudoku Solver? #12

Open
joshuanoronha opened this issue Oct 24, 2022 · 3 comments
Open

How to get rules generated for Sudoku Solver? #12

joshuanoronha opened this issue Oct 24, 2022 · 3 comments

Comments

@joshuanoronha
Copy link

I was trying to replicate the results in the experiment and was having a hard time finding the rules generated. Is there any method to get the rules generated? It would be really helpful for my research project

Sorry for raising an issue in Github, I didn't know any other way to get in touch with you

Thanks for this awesome project btw, I really love what yall have done

@xflash96
Copy link
Member

Thanks for your interest in the project! By the continuous nature of DL, the learnt clause matrix is not ternary.
It is a mixture of (weighted) ternary clause matrices. So I will say that getting the exact clause matrix from the mixture is more like a research topic to be developed since it's a "search" to discretize the clause matrix. A combination of sparse regularizer / recursive search on each row may help in the research direction.

@joshuanoronha
Copy link
Author

Thank you so much for the reply! I have a few more doubts on this topic, could we connect on zoom whenever you are free?
My email id is [email protected]

@shllgtca
Copy link

shllgtca commented Apr 4, 2023

Hi! I think I might have miss something on the math, but isn’t the V and S matriz de clause matrix? You mean the difficulty because they’re not ternary?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants