Skip to main content

Showing 1–3 of 3 results for author: Tsui, T

Searching in archive cs. Search in all archives.
.
  1. arXiv:2311.11555  [pdf, other

    cs.CV cs.GR

    NePF: Neural Photon Field for Single-Stage Inverse Rendering

    Authors: Tuen-Yue Tsui, Qin Zou

    Abstract: We present a novel single-stage framework, Neural Photon Field (NePF), to address the ill-posed inverse rendering from multi-view images. Contrary to previous methods that recover the geometry, material, and illumination in multiple stages and extract the properties from various multi-layer perceptrons across different neural fields, we question such complexities and introduce our method - a singl… ▽ More

    Submitted 20 November, 2023; originally announced November 2023.

  2. arXiv:1805.02795  [pdf, ps, other

    math.LO cs.LO

    A new viewpoint of the Gödel's incompleteness theorem and its applications

    Authors: Tianheng Tsui

    Abstract: A new viewpoint of the Gödel's incompleteness theorem be given in this article which reveals the deep relationship between the logic and computation. Upon the results of these studies, an algorithm be given which shows how to search a proof of statement in first order logic from finite concrete examples, and an approach be proposed to improve searching mathematical proof by neural network.

    Submitted 7 May, 2018; originally announced May 2018.

  3. arXiv:1805.01755  [pdf, ps, other

    cs.CC math.LO

    Two theorems about the P versus NP problem

    Authors: Tianheng Tsui

    Abstract: Two theorems about the P versus NP problem be proved in this article (1) There exists a language $L$, that the statement $L \in \textbf{P}$ is independent of ZFC. (2) There exists a language $L \in \textbf{NP}$, for any polynomial time deterministic Turing machine $M$, we cannot prove $L$ is decidable on $M$.

    Submitted 30 April, 2018; originally announced May 2018.