-
Notifications
You must be signed in to change notification settings - Fork 10
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #142 from trishullab/george
Added website docs.
- Loading branch information
Showing
21 changed files
with
3,387 additions
and
12 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,2 @@ | ||
| .DS_store | ||
| .idea |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,16 @@ | ||
| # Nerfies | ||
|
|
||
| This is the repository that contains source code for the [Nerfies website](https://nerfies.github.io). | ||
|
|
||
| If you find Nerfies useful for your work please cite: | ||
| ``` | ||
| @article{park2021nerfies | ||
| author = {Park, Keunhong and Sinha, Utkarsh and Barron, Jonathan T. and Bouaziz, Sofien and Goldman, Dan B and Seitz, Steven M. and Martin-Brualla, Ricardo}, | ||
| title = {Nerfies: Deformable Neural Radiance Fields}, | ||
| journal = {ICCV}, | ||
| year = {2021}, | ||
| } | ||
| ``` | ||
|
|
||
| # Website License | ||
| <a rel="license" href="http://creativecommons.org/licenses/by-sa/4.0/"><img alt="Creative Commons License" style="border-width:0" src="https://i.creativecommons.org/l/by-sa/4.0/88x31.png" /></a><br />This work is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by-sa/4.0/">Creative Commons Attribution-ShareAlike 4.0 International License</a>. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,236 @@ | ||
| <!DOCTYPE html> | ||
| <html> | ||
| <head> | ||
| <meta charset="utf-8"> | ||
| <meta name="description" | ||
| content="PutnamBench: A Multilingual Mathematics Benchmark for Formal Theorem-Proving"> | ||
| <meta name="keywords" content="PutnamBench, AI4Math, theorem-proving"> | ||
| <meta name="viewport" content="width=device-width, initial-scale=1"> | ||
| <title>PutnamBench: A Multilingual Mathematics Benchmark for Formal Theorem-Proving</title> | ||
|
|
||
| <!-- Global site tag (gtag.js) - Google Analytics --> | ||
| <script async src="https://www.googletagmanager.com/gtag/js?id=G-PYVRSFMDRL"></script> | ||
| <script> | ||
| window.dataLayer = window.dataLayer || []; | ||
|
|
||
| function gtag() { | ||
| dataLayer.push(arguments); | ||
| } | ||
|
|
||
| gtag('js', new Date()); | ||
|
|
||
| gtag('config', 'G-PYVRSFMDRL'); | ||
| </script> | ||
|
|
||
| <link href="https://fonts.googleapis.com/css?family=Google+Sans|Noto+Sans|Castoro" | ||
| rel="stylesheet"> | ||
|
|
||
| <link rel="stylesheet" href="./static/css/bulma.min.css"> | ||
| <link rel="stylesheet" href="./static/css/bulma-carousel.min.css"> | ||
| <link rel="stylesheet" href="./static/css/bulma-slider.min.css"> | ||
| <link rel="stylesheet" href="./static/css/fontawesome.all.min.css"> | ||
| <link rel="stylesheet" | ||
| href="https://cdn.jsdelivr.net/gh/jpswalsh/academicons@1/css/academicons.min.css"> | ||
| <link rel="stylesheet" href="./static/css/index.css"> | ||
| <link rel="icon" href="./static/images/favicon.svg"> | ||
|
|
||
| <script src="https://ajax.googleapis.com/ajax/libs/jquery/3.5.1/jquery.min.js"></script> | ||
| <script defer src="./static/js/fontawesome.all.min.js"></script> | ||
| <script src="./static/js/bulma-carousel.min.js"></script> | ||
| <script src="./static/js/bulma-slider.min.js"></script> | ||
| <script src="./static/js/index.js"></script> | ||
| </head> | ||
| <body> | ||
| <!-- | ||
| <nav class="navbar" role="navigation" aria-label="main navigation"> | ||
| <div class="navbar-brand"> | ||
| <a role="button" class="navbar-burger" aria-label="menu" aria-expanded="false"> | ||
| <span aria-hidden="true"></span> | ||
| <span aria-hidden="true"></span> | ||
| <span aria-hidden="true"></span> | ||
| </a> | ||
| </div> | ||
| <div class="navbar-menu"> | ||
| <div class="navbar-start" style="flex-grow: 1; justify-content: center;"> | ||
| <a class="navbar-item" href="https://keunhong.com"> | ||
| <span class="icon"> | ||
| <i class="fas fa-home"></i> | ||
| </span> | ||
| </a> | ||
| <div class="navbar-item has-dropdown is-hoverable"> | ||
| <a class="navbar-link"> | ||
| More Research | ||
| </a> | ||
| <div class="navbar-dropdown"> | ||
| <a class="navbar-item" href="https://hypernerf.github.io"> | ||
| HyperNeRF | ||
| </a> | ||
| <a class="navbar-item" href="https://nerfies.github.io"> | ||
| Nerfies | ||
| </a> | ||
| <a class="navbar-item" href="https://latentfusion.github.io"> | ||
| LatentFusion | ||
| </a> | ||
| <a class="navbar-item" href="https://photoshape.github.io"> | ||
| PhotoShape | ||
| </a> | ||
| </div> | ||
| </div> | ||
| </div> | ||
| </div> | ||
| </nav> --> | ||
|
|
||
|
|
||
| <section class="hero"> | ||
| <div class="hero-body"> | ||
| <div class="container is-max-desktop"> | ||
| <div class="columns is-centered"> | ||
| <div class="column has-text-centered"> | ||
| <h1 class="title is-1 publication-title">PutnamBench: A Multilingual Competition-Mathematics Benchmark for Formal Theorem-Proving</h1> | ||
| <div class="is-size-5 publication-authors"> | ||
| <span class="author-block"> | ||
| </a>George Tsoukalas</a><sup>1</sup>,</span> | ||
| <span class="author-block"> | ||
| </a>Jasper Lee</a><sup>1</sup>,</span> | ||
| <span class="author-block"> | ||
| </a>John Jennings</a><sup>1</sup>, | ||
| </span> | ||
| <span class="author-block"> | ||
| </a>Jimmy Xin</a><sup>1</sup>, | ||
| </span> | ||
| <span class="author-block"> | ||
| </a>Michelle Ding</a><sup>1</sup>, | ||
| </span> | ||
| <span class="author-block"> | ||
| </a>Michael Jennings</a><sup>1</sup>, | ||
| </span> | ||
| <span class="author-block"> | ||
| </a>Amitayush Thakur</a><sup>1</sup> | ||
| </span> | ||
| <span class="author-block"> | ||
| </a">Swarat Chaudhuri</a><sup>1</sup> | ||
| </span> | ||
| </div> | ||
|
|
||
| <div class="is-size-5 publication-authors"> | ||
| <span class="author-block"><sup>1</sup>UT Austin,</span> | ||
| </div> | ||
|
|
||
| <div class="column has-text-centered"> | ||
| <div class="publication-links"> | ||
| <!-- PDF Link. --> | ||
| <span class="link-block"> | ||
| <a href="https://github.com/trishullab/putnambench" | ||
| class="external-link button is-normal is-rounded is-dark"> | ||
| <span class="icon"> | ||
| <i class="fas fa-file-pdf"></i> | ||
| </span> | ||
| <span>Paper: TODO, points to github</span> | ||
| </a> | ||
| </span> | ||
| <span class="link-block"> | ||
| <a href="https://github.com/trishullab/putnambench" | ||
| class="external-link button is-normal is-rounded is-dark"> | ||
| <span class="icon"> | ||
| <i class="ai ai-arxiv"></i> | ||
| </span> | ||
| <span>arXiv: TODO, points to github</span> | ||
| </a> | ||
| </span> | ||
| <!-- Code Link. --> | ||
| <span class="link-block"> | ||
| <a href="https://github.com/trishullab/putnambench" | ||
| class="external-link button is-normal is-rounded is-dark"> | ||
| <span class="icon"> | ||
| <i class="fab fa-github"></i> | ||
| </span> | ||
| <span>Code</span> | ||
| </a> | ||
| </span> | ||
| </div> | ||
|
|
||
| </div> | ||
| </div> | ||
| </div> | ||
| </div> | ||
| </div> | ||
| </section> | ||
|
|
||
| <section class="section"> | ||
| <div class="container is-max-desktop"> | ||
| <!-- Abstract. --> | ||
| <div class="columns is-centered has-text-centered"> | ||
| <div class="column is-four-fifths"> | ||
| <h2 class="title is-3">Abstract</h2> | ||
| <div class="content has-text-justified"> | ||
| <p> | ||
| TODO: This website is still under construction. | ||
| </p> | ||
| <p> | ||
| We present PutnamBench, a new multilingual benchmark for evaluating the ability of neural theorem-provers to solve competition mathematics problems. | ||
| </p> | ||
| <p> | ||
| PutnamBench consists of 1600+ hand-constructed formalizations of problems sourced from the William Lowell Putnam Mathematical Competition, the premier undergraduate-level mathematics competition in North America. | ||
| All the theorems, of which there are 640, have formalizations in Lean 4 and Isabelle; a substantial subset also has Coq formalizations. | ||
| </p> | ||
| <p> | ||
| Proving the theorems requires significant problem-solving ability and proficiency in a broad range of topics taught in undergraduate mathematics courses. We use PutnamBench to evaluate several established neural and symbolic theorem-provers. | ||
| These approaches can only solve a handful of the PutnamBench problems, establishing the benchmark as a difficult open challenge for research on neural theorem-proving. | ||
| </p> | ||
| </div> | ||
| </div> | ||
| </div> | ||
| <!--/ Abstract. --> | ||
| </div> | ||
| </section> | ||
|
|
||
|
|
||
| <section class="section" id="BibTeX"> | ||
| <div class="container is-max-desktop content"> | ||
| <h2 class="title">BibTeX</h2> | ||
| <pre><code>@article{TODO, | ||
| author = {TODO}, | ||
| title = {TODO}, | ||
| journal = {TODO}, | ||
| year = {TODO}, | ||
| }</code></pre> | ||
| </div> | ||
| </section> | ||
|
|
||
|
|
||
| <footer class="footer"> | ||
| <div class="container"> | ||
| <div class="content has-text-centered"> | ||
| <a class="icon-link" | ||
| href="./static/videos/nerfies_paper.pdf"> | ||
| <i class="fas fa-file-pdf"></i> | ||
| </a> | ||
| <a class="icon-link" href="https://github.com/keunhong" class="external-link" disabled> | ||
| <i class="fab fa-github"></i> | ||
| </a> | ||
| </div> | ||
| <div class="columns is-centered"> | ||
| <div class="column is-8"> | ||
| <div class="content"> | ||
| <p> | ||
| This website is licensed under a <a rel="license" | ||
| href="http://creativecommons.org/licenses/by-sa/4.0/">Creative | ||
| Commons Attribution-ShareAlike 4.0 International License</a>. | ||
| </p> | ||
| <p> | ||
| This means you are free to borrow the <a | ||
| href="https://github.com/nerfies/nerfies.github.io">source code</a> of this website, | ||
| we just ask that you link back to this page in the footer. | ||
| Please remember to remove the analytics code included in the header of the website which | ||
| you do not want on your website. | ||
| </p> | ||
| </div> | ||
| </div> | ||
| </div> | ||
| </div> | ||
| </footer> | ||
|
|
||
| </body> | ||
| </html> |
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
Oops, something went wrong.