Hugging Face's logo
Leonardo Molina's picture
9 13

Leonardo Molina

leo-mv
·

AI & ML interests

None yet

Recent Activity

reacted to RiverRider's post with 👍 about 1 month ago
Natural Language Autoencoders: A Window into Latent Structure I introduced a concise mathematical formulation of the P versus NP question into the SRT-NLA-AV-v1 demonstration: P vs NP asks whether every problem whose solution can be verified in polynomial time (NP) can also be solved in polynomial time (P). Integer factorization — given N = p·q where p and q are large primes (p < q) — is in NP but widely believed not to be in P. The resulting activation verbalization (best-of-N, reranked by AR fidelity) surfaced: “This article originally appeared in the August 2016 edition of CACM. A new method of proving computational hardness of problems, known as multilinearization, can improve efficiency, reduce complexity and simplify proofs. In this article, I describe multilinearization and its application to several key problems, from the discrete logarithm and factoring to RSA and elliptic-curve discrete logarithms.” What emerges is not a literal restatement, but a structured articulation of the model’s internal associations: hardness proofs, algebraic techniques, and the cryptographic implications that orbit this foundational question in computational complexity. The demo offers a compelling interface for exploring these latent representations. Explore it here: https://huggingface.co/spaces/RiverRider/srt-nla-av-v1-demo Recommended: Best-of-N sampling with round-trip evaluation for highest fidelity.
upvoted an article 2 months ago
Welcome Gemma 4: Frontier multimodal intelligence on device
liked a model 2 months ago
lightonai/LightOnOCR-2-1B
View all activity

Organizations

None yet