2 citations · 3 across the 3 of their papers we have counts for
4 papers
On the multiplicative independence between and
David Crnčević, Felipe Hernández, Kevin Rizk +2
In this article we investigate different forms of multiplicative independence between the sequences and for irrational . Our main theorem shows that for…
Separations in Proof Complexity and TFNP
Mika Göös, Alexandros Hollender, Siddhartha Jain +4
It is well-known that Resolution proofs can be efficiently simulated by Sherali-Adams (SA) proofs. We show, however, that any such simulation needs to exploit huge coefficients: Re…
Optimizing Nitrogen Management with Deep Reinforcement Learning and Crop Simulations
Jing Wu, Ran Tao, Pan Zhao +2
Nitrogen (N) management is critical to sustain soil fertility and crop production while minimizing the negative environmental impact, but is challenging to optimize. This paper pro…
Further Collapses in TFNP
Mika Göös, Alexandros Hollender, Siddhartha Jain +4
We show . Here the class consists of all total search problems that reduce to the End-of-Potential-Line problem, which…