-
Can AI Examine Novelty of Patents?: Novelty Evaluation Based on the Correspondence between Patent Claim and Prior Art
Authors:
Hayato Ikoma,
Teruko Mitamura
Abstract:
Assessing the novelty of patent claims is a critical yet challenging task traditionally performed by patent examiners. While advancements in NLP have enabled progress in various patent-related tasks, novelty assessment remains unexplored. This paper introduces a novel challenge by evaluating the ability of large language models (LLMs) to assess patent novelty by comparing claims with cited prior a…
▽ More
Assessing the novelty of patent claims is a critical yet challenging task traditionally performed by patent examiners. While advancements in NLP have enabled progress in various patent-related tasks, novelty assessment remains unexplored. This paper introduces a novel challenge by evaluating the ability of large language models (LLMs) to assess patent novelty by comparing claims with cited prior art documents, following the process similar to that of patent examiners done. We present the first dataset specifically designed for novelty evaluation, derived from real patent examination cases, and analyze the capabilities of LLMs to address this task. Our study reveals that while classification models struggle to effectively assess novelty, generative models make predictions with a reasonable level of accuracy, and their explanations are accurate enough to understand the relationship between the target patent and prior art. These findings demonstrate the potential of LLMs to assist in patent evaluation, reducing the workload for both examiners and applicants. Our contributions highlight the limitations of current models and provide a foundation for improving AI-driven patent analysis through advanced models and refined datasets.
△ Less
Submitted 10 February, 2025;
originally announced February 2025.
-
ProcBench: Benchmark for Multi-Step Reasoning and Following Procedure
Authors:
Ippei Fujisawa,
Sensho Nobe,
Hiroki Seto,
Rina Onda,
Yoshiaki Uchida,
Hiroki Ikoma,
Pei-Chun Chien,
Ryota Kanai
Abstract:
Reasoning is central to a wide range of intellectual activities, and while the capabilities of large language models (LLMs) continue to advance, their performance in reasoning tasks remains limited. The processes and mechanisms underlying reasoning are not yet fully understood, but key elements include path exploration, selection of relevant knowledge, and multi-step inference. Problems are solved…
▽ More
Reasoning is central to a wide range of intellectual activities, and while the capabilities of large language models (LLMs) continue to advance, their performance in reasoning tasks remains limited. The processes and mechanisms underlying reasoning are not yet fully understood, but key elements include path exploration, selection of relevant knowledge, and multi-step inference. Problems are solved through the synthesis of these components. In this paper, we propose a benchmark that focuses on a specific aspect of reasoning ability: the direct evaluation of multi-step inference. To this end, we design a special reasoning task where multi-step inference is specifically focused by largely eliminating path exploration and implicit knowledge utilization. Our dataset comprises pairs of explicit instructions and corresponding questions, where the procedures necessary for solving the questions are entirely detailed within the instructions. This setup allows models to solve problems solely by following the provided directives. By constructing problems that require varying numbers of steps to solve and evaluating responses at each step, we enable a thorough assessment of state-of-the-art LLMs' ability to follow instructions. To ensure the robustness of our evaluation, we include multiple distinct tasks. Furthermore, by comparing accuracy across tasks, utilizing step-aware metrics, and applying separately defined measures of complexity, we conduct experiments that offer insights into the capabilities and limitations of LLMs in reasoning tasks. Our findings have significant implications for the development of LLMs and highlight areas for future research in advancing their reasoning abilities. Our dataset is available at \url{https://huggingface.co/datasets/ifujisawa/procbench} and code at \url{https://github.com/ifujisawa/proc-bench}.
△ Less
Submitted 3 October, 2024;
originally announced October 2024.
-
Single-shot Hyperspectral-Depth Imaging with Learned Diffractive Optics
Authors:
Seung-Hwan Baek,
Hayato Ikoma,
Daniel S. Jeon,
Yuqi Li,
Wolfgang Heidrich,
Gordon Wetzstein,
Min H. Kim
Abstract:
Imaging depth and spectrum have been extensively studied in isolation from each other for decades. Recently, hyperspectral-depth (HS-D) imaging emerges to capture both information simultaneously by combining two different imaging systems; one for depth, the other for spectrum. While being accurate, this combinational approach induces increased form factor, cost, capture time, and alignment/registr…
▽ More
Imaging depth and spectrum have been extensively studied in isolation from each other for decades. Recently, hyperspectral-depth (HS-D) imaging emerges to capture both information simultaneously by combining two different imaging systems; one for depth, the other for spectrum. While being accurate, this combinational approach induces increased form factor, cost, capture time, and alignment/registration problems. In this work, departing from the combinational principle, we propose a compact single-shot monocular HS-D imaging method. Our method uses a diffractive optical element (DOE), the point spread function of which changes with respect to both depth and spectrum. This enables us to reconstruct spectrum and depth from a single captured image. To this end, we develop a differentiable simulator and a neural-network-based reconstruction that are jointly optimized via automatic differentiation. To facilitate learning the DOE, we present a first HS-D dataset by building a benchtop HS-D imager that acquires high-quality ground truth. We evaluate our method with synthetic and real experiments by building an experimental prototype and achieve state-of-the-art HS-D imaging results.
△ Less
Submitted 15 August, 2021; v1 submitted 1 September, 2020;
originally announced September 2020.
-
Deep Optics for Single-shot High-dynamic-range Imaging
Authors:
Christopher A. Metzler,
Hayato Ikoma,
Yifan Peng,
Gordon Wetzstein
Abstract:
High-dynamic-range (HDR) imaging is crucial for many computer graphics and vision applications. Yet, acquiring HDR images with a single shot remains a challenging problem. Whereas modern deep learning approaches are successful at hallucinating plausible HDR content from a single low-dynamic-range (LDR) image, saturated scene details often cannot be faithfully recovered. Inspired by recent deep opt…
▽ More
High-dynamic-range (HDR) imaging is crucial for many computer graphics and vision applications. Yet, acquiring HDR images with a single shot remains a challenging problem. Whereas modern deep learning approaches are successful at hallucinating plausible HDR content from a single low-dynamic-range (LDR) image, saturated scene details often cannot be faithfully recovered. Inspired by recent deep optical imaging approaches, we interpret this problem as jointly training an optical encoder and electronic decoder where the encoder is parameterized by the point spread function (PSF) of the lens, the bottleneck is the sensor with a limited dynamic range, and the decoder is a convolutional neural network (CNN). The lens surface is then jointly optimized with the CNN in a training phase; we fabricate this optimized optical element and attach it as a hardware add-on to a conventional camera during inference. In extensive simulations and with a physical prototype, we demonstrate that this end-to-end deep optical imaging approach to single-shot HDR imaging outperforms both purely CNN-based approaches and other PSF engineering approaches.
△ Less
Submitted 1 August, 2019;
originally announced August 2019.
-
Differentiability of the arithmetic volume function along the base conditions
Authors:
Hideaki Ikoma
Abstract:
In this paper, we show that the arithmetic volume function defined on the space of pairs of adelic R-Cartier divisors and base conditions is differentiable at a big pair, and that its derivative is given by an arithmetic restricted positive intersection number defined for the pair.
In this paper, we show that the arithmetic volume function defined on the space of pairs of adelic R-Cartier divisors and base conditions is differentiable at a big pair, and that its derivative is given by an arithmetic restricted positive intersection number defined for the pair.
△ Less
Submitted 23 March, 2022; v1 submitted 31 July, 2018;
originally announced July 2018.
-
On subfiniteness of graded linear series
Authors:
Huayi Chen,
Hideaki Ikoma
Abstract:
Hilbert's 14th problem studies the finite generation property of the intersection of an integral algebra of finite type with a subfield of the field of fractions of the algebra. It has a negative answer due to the counterexample of Nagata. We show that a subfinite version of Hilbert's 14th problem has a confirmative answer. We then establish a graded analogue of this result, which permits to show…
▽ More
Hilbert's 14th problem studies the finite generation property of the intersection of an integral algebra of finite type with a subfield of the field of fractions of the algebra. It has a negative answer due to the counterexample of Nagata. We show that a subfinite version of Hilbert's 14th problem has a confirmative answer. We then establish a graded analogue of this result, which permits to show that the subfiniteness of graded linear series does not depend on the function field in which we consider it. Finally, we apply the subfiniteness result to the study of geometric and arithmetic graded linear series.
△ Less
Submitted 3 September, 2018; v1 submitted 2 August, 2017;
originally announced August 2017.
-
Adelic Cartier divisors with base conditions and the continuity of volumes
Authors:
Hideaki Ikoma
Abstract:
In the previous paper [7], we introduced a notion of pairs of adelic R-Cartier divisors and R-base conditions. The purpose of this paper is to propose an extended notion of adelic R-Cartier divisors that we call an l1-adelic R-Cartier divisors, and to show that the arithmetic volume function defined on the space of pairs of l1-adelic R-Cartier divisors and R-base conditions is continuous along the…
▽ More
In the previous paper [7], we introduced a notion of pairs of adelic R-Cartier divisors and R-base conditions. The purpose of this paper is to propose an extended notion of adelic R-Cartier divisors that we call an l1-adelic R-Cartier divisors, and to show that the arithmetic volume function defined on the space of pairs of l1-adelic R-Cartier divisors and R-base conditions is continuous along the directions of l1-adelic R-Cartier divisors.
△ Less
Submitted 16 February, 2017; v1 submitted 12 February, 2017;
originally announced February 2017.
-
Adelic Cartier divisors with base conditions and the Bonnesen-Diskant-type inequalities
Authors:
Hideaki Ikoma
Abstract:
In this paper, we introduce positivity notions for pairs of adelic R-Cartier divisors and R-base conditions, and study fundamental properties of the arithmetic volumes defined for such pairs. We show that the Gateaux derivatives of the arithmetic volume function at big pairs along the directions of adelic R-Cartier divisors are given by suitable arithmetic positive intersection numbers. As a corol…
▽ More
In this paper, we introduce positivity notions for pairs of adelic R-Cartier divisors and R-base conditions, and study fundamental properties of the arithmetic volumes defined for such pairs. We show that the Gateaux derivatives of the arithmetic volume function at big pairs along the directions of adelic R-Cartier divisors are given by suitable arithmetic positive intersection numbers. As a corollary, we obtain an Arakelov theoretic analogue of the Bonnesen-Diskant inequality in convex geometry.
△ Less
Submitted 19 February, 2017; v1 submitted 6 February, 2016;
originally announced February 2016.
-
Remarks on the arithmetic restricted volumes and the arithmetic base loci
Authors:
Hideaki Ikoma
Abstract:
In this paper, we collect some fundamental properties of the arithmetic restricted volumes (or the arithmetic multiplicities) of the adelically metrized line bundles. The arithmetic restricted volume has the concavity property and characterizes the arithmetic augmented base locus as the null locus. We also show a generalized Fujita approximation for the arithmetic restricted volumes.
In this paper, we collect some fundamental properties of the arithmetic restricted volumes (or the arithmetic multiplicities) of the adelically metrized line bundles. The arithmetic restricted volume has the concavity property and characterizes the arithmetic augmented base locus as the null locus. We also show a generalized Fujita approximation for the arithmetic restricted volumes.
△ Less
Submitted 16 July, 2016; v1 submitted 25 November, 2014;
originally announced November 2014.
-
A numerical characterization of nef adelic divisors
Authors:
Hideaki Ikoma
Abstract:
To a generically big adelic divisor, we can associate an arithmetic Okounkov body, which is a pair of the geometric Okounkov body and the concave transform of the Green functions. In this paper, we show that the infimum of the concave transform is given by the absolute minimum provided that the divisor is vertically nef. This is a partial generalization of results of Moriwaki (in the curve case) a…
▽ More
To a generically big adelic divisor, we can associate an arithmetic Okounkov body, which is a pair of the geometric Okounkov body and the concave transform of the Green functions. In this paper, we show that the infimum of the concave transform is given by the absolute minimum provided that the divisor is vertically nef. This is a partial generalization of results of Moriwaki (in the curve case) and of Burgos Gil-Moriwaki-Philippon-Sombra (in the toric case).
△ Less
Submitted 20 January, 2016; v1 submitted 26 February, 2014;
originally announced February 2014.
-
A Bertini-type theorem for free arithmetic linear series
Authors:
Hideaki Ikoma
Abstract:
In this paper, we prove a version of the arithmetic Bertini theorem asserting that there exists a strictly small and generically smooth section of a given arithmetically free graded arithmetic linear series.
In this paper, we prove a version of the arithmetic Bertini theorem asserting that there exists a strictly small and generically smooth section of a given arithmetically free graded arithmetic linear series.
△ Less
Submitted 20 January, 2016; v1 submitted 26 November, 2013;
originally announced November 2013.
-
On the concavity of the arithmetic volumes
Authors:
Hideaki Ikoma
Abstract:
In this note, we study the differentiability of the arithmetic volumes along arithmetic R-divisors, and give some equality conditions for the Brunn-Minkowski inequality for arithmetic volumes over the cone of nef and big arithmetic R-divisors.
In this note, we study the differentiability of the arithmetic volumes along arithmetic R-divisors, and give some equality conditions for the Brunn-Minkowski inequality for arithmetic volumes over the cone of nef and big arithmetic R-divisors.
△ Less
Submitted 14 August, 2014; v1 submitted 31 October, 2013;
originally announced October 2013.
