-
Analyzing constrained LLM through PDFA-learning
Authors:
Matías Carrasco,
Franz Mayr,
Sergio Yovine,
Johny Kidd,
Martín Iturbide,
Juan Pedro da Silva,
Alejo Garat
Abstract:
We define a congruence that copes with null next-symbol probabilities that arise when the output of a language model is constrained by some means during text generation. We develop an algorithm for efficiently learning the quotient with respect to this congruence and evaluate it on case studies for analyzing statistical properties of LLM.
We define a congruence that copes with null next-symbol probabilities that arise when the output of a language model is constrained by some means during text generation. We develop an algorithm for efficiently learning the quotient with respect to this congruence and evaluate it on case studies for analyzing statistical properties of LLM.
△ Less
Submitted 15 June, 2024; v1 submitted 12 June, 2024;
originally announced June 2024.
-
Multi-Approach Debugging of Industrial IoT Workflows
Authors:
Andreia Rodrigues,
Jose Pedro Silva,
Joao Pedro Dias,
Hugo Sereno Ferreira
Abstract:
Industrial Internet-of-Things (IIoT) results from the addition of sensing and actuating capabilities to industrial environments to improve the overall manufacturing processes. Some of these systems have highly-complex tasks of monitorization and control and need to be programmed accordingly. The use of visual programming, such as workflows, is common in these systems due to the abstraction they pr…
▽ More
Industrial Internet-of-Things (IIoT) results from the addition of sensing and actuating capabilities to industrial environments to improve the overall manufacturing processes. Some of these systems have highly-complex tasks of monitorization and control and need to be programmed accordingly. The use of visual programming, such as workflows, is common in these systems due to the abstraction they provide to the systems programmer. However, such programming environments have several deficiencies on what regards debugging capabilities, mostly due to the constraints that difficult the use of traditional mechanisms. The work presented in this paper approaches these issues, delving into the design and implementation of a multi-strategy debugging mechanism into a commercial-grade Manufacturing Execution System. To validate the approach, a proof-of-concept was then developed and validated against different debugging scenarios.
△ Less
Submitted 12 September, 2020;
originally announced September 2020.
-
A Review of Dynamic NURBS Approach
Authors:
Josildo Pereira da Silva,
Antônio Lopes Apolinário Júnior,
Gilson A. Giraldi
Abstract:
Dynamic NURBS, also called D-NURBS, is a known dynamic version of the nonuniform rational B-spline (NURBS) which integrates free-form shape representation and a physically-based model in a unified framework. More recently, computer aided design (CAD) and finite element (FEM) community realized the need to unify CAD and FEM descriptions which motivates a review of D-NURBS concepts. Therefore, in th…
▽ More
Dynamic NURBS, also called D-NURBS, is a known dynamic version of the nonuniform rational B-spline (NURBS) which integrates free-form shape representation and a physically-based model in a unified framework. More recently, computer aided design (CAD) and finite element (FEM) community realized the need to unify CAD and FEM descriptions which motivates a review of D-NURBS concepts. Therefore, in this paper we describe D-NURBS theory in the context of 1D shape deformations. We start with a revision of NURBS for parametric representation of curve spaces. Then, the Lagrangian mechanics is introduced in order to complete the theoretical background. Next, the D-NURBS framework for 1D curve spaces is presented as well as some details about constraints and numerical implementations. In the experimental results, we focus on parameters choice and computational cost.
△ Less
Submitted 26 March, 2013;
originally announced March 2013.